1. Formal Methods and Software Engineering
پدیدآورنده : \ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science.,Computer networks.,Computer programming.,علوم کامپیوتر,شبکههای رایانه ای ,برنامهنویسی
رده :
QA75
.
5
.
F61
2015
E-Book
,
